VMX: No VMExits on SYSENTER MSR accesses since VMX already has VMCS

fields for both host and guest state.
Signed-off-by: Xin Li <xin.b.li@intel.com>

diff --git a/xen/arch/x86/hvm/vmx/vmx.c b/xen/arch/x86/hvm/vmx/vmx.c
index 90103074375109ed7153030e3cb199d8d9c2a9ce..ce144490fd878a047770cf3fc72a9236a487ed76 100644 (file)
--- a/xen/arch/x86/hvm/vmx/vmx.c
+++ b/xen/arch/x86/hvm/vmx/vmx.c
@@ -1336,8 +1336,13 @@ int start_vmx(void)
         vmx_msr_bitmap = alloc_xenheap_page();
         BUG_ON(vmx_msr_bitmap == NULL);
         memset(vmx_msr_bitmap, ~0, PAGE_SIZE);
+
         disable_intercept_for_msr(MSR_FS_BASE);
         disable_intercept_for_msr(MSR_GS_BASE);
+
+        disable_intercept_for_msr(MSR_IA32_SYSENTER_CS);
+        disable_intercept_for_msr(MSR_IA32_SYSENTER_ESP);
+        disable_intercept_for_msr(MSR_IA32_SYSENTER_EIP);
     }
 
     return 1;